421. Proceedings of the first annual ACM-SIAM symposium on discrete algorithms

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms

رده :
QA
76
.
6
.
A278
1990

422. Proceedings of the second annual acm-siam symposium on discrete algorithms

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms

رده :
QA
76
.
6
.
A278
1991

423. Proceedings of the 6th International Conference on Harmony Search, Soft Computing and Application :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer algorithms ; Congresses. ;

424. Proceedings of the third Annual ACM-SIAM Symposium on Discrete Algorithms

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms

رده :
QA
76
.
6
.
A278
1992

425. Progress in cryptology -- AFRICACRYPT 2018 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer hardware.,Computer security.,Computer security.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Network hardware.

رده :
QA76
.
9
.
A25

426. Rewriting techniques and application

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses

رده :
QA
,
267
,.
R48
,
2000

427. Rewriting techniques and applications :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;

428. Rewriting techniques and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.

رده :
QA267
.
I555
1989

429. #Rewriting techniques and applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses

رده :
#
QA
،#.
R48

430. Rewriting techniques and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification

رده :
QA267
.
R48
1996

431. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
256

432. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(

رده :
QA
76
.
L4
v
.
202

433. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
202

434. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
355

435. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :
QA
267
.
I555
1989

436. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
3091

437. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms

رده :
QA
267
.
I555
1991

438. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :
QA
267
.
I555
1991

439. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
488

440. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
2378